GRIFFIN
نویسندگان
چکیده
منابع مشابه
CE 1 - Griffin 02/05
After reading this article, the reader should be able to: • describe requirements that would lead to success with immediate implant placement and loading. • describe important surgical considerations to increase the survival of immediate implant restoration. • discuss advantages in the single appointment fabrication of computer-assisted designed and machined porcelain for implant restoration. •...
متن کاملThe GRIFFIN Project: Lessons Learned
GRIFFIN is a joint research project of the VU University Amsterdam and the University of Groningen. The GRIFFIN project develops notations, tools and associated methods to extract, represent and use architectural knowledge that currently is not documented or represented in the system. The research is carried out in a consortium with various industries, both large and small, that provide case st...
متن کاملMartin-Löf Clashes With Griffin, Operationally
The computational reading of proofs in intutionistic predicate logic (IPL) as λ-terms can be extended in two well-known ways. On the one hand, Martin-Löf showed how the Axiom of Choice (AC) can be interpreted as a term of dependent type theory. On the other hand, Griffin showed how Peirce’s law (which generates classical logic from intuitionistic) can be interpreted as a program using control o...
متن کامل10 The GRIFFIN Collaborative Virtual Community for Architectural Knowledge Management
Modern software architecting increasingly often takes place in geographically distributed contexts involving teams of professionals and customers with different backgrounds and roles. So far, attention and effort have been mainly dedicated to individuals sharing already formalized knowledge and less to social, informal collaboration. Furthermore, in Web 2.0 contexts, little to no attention has ...
متن کاملATVB Named Lecture Review-Insight Into Author: John H. Griffin.
Why did you choose the profession of scientific investigation? During high school at Seattle Prep, my favorite subjects were physics, chemistry, and math; there it was emphasized that scholarship required a deep and fundamental knowledge of subjects. In the Jesuit tradition, academic excellence, curiosity, and service are inextricably entwined. During those years, I decided that my mission in l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2017
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3093336.3037716